Stochastic modelling - PDFSEARCH.IO - Document Search Engine

Stochastic modelling
Results: 222

#	Item
151	Design and Analysis of  DNA Strand Displacement Devices  using Probabilistic Model Checking  Dave Parker  School of Computer Science, University of Birmingham Joint work with: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-15 10:32:21 Statistics Model checking PRISM model checker PAT Formal verification Markov chain Scientific modelling Stochastic SPIN model checker Model checkers Theoretical computer science Applied mathematics
152	Who Should Attend? This workshop series is specially designed to provide insight into the discipline of optimisation for a wide range of individuals such as OR professionals & Add to Reading List Source URL: financelab.iimcal.ac.in Language: English - Date: 2011-12-15 06:00:34 Applied mathematics Mathematical sciences Stochastic programming AMPL Linear programming Scientific modelling Quantitative analyst Financial modeling Stochastic optimization Mathematical optimization Operations research Science
153	International Environmental Modelling and Software Society (iEMSs[removed]International Congress on Environmental Modelling and Software Managing Resources of a Limited Planet, Sixth Biennial Meeting, Leipzig, Germany R. S Add to Reading List Source URL: www.iemss.org Language: English - Date: 2012-12-07 02:10:57 Systems ecology Mathematical modeling Statistical randomness Bayesian network Networks Ecosystem Stochastic Scientific modelling Deterministic simulation Statistics Probability and statistics Science
154	Numerical Methods for Modeling Atomistic Trajectories with Diffusion SDEs Christopher P. Calderon † , Josue G. Martinez§ , Raymond J. Carroll§ , and Danny C. Sorensen †∗ † Add to Reading List Source URL: www.caam.rice.edu Language: English - Date: 2008-08-22 15:53:00 Molecular dynamics Molecular modelling Stochastic differential equation Economic model Damping Normal distribution Least squares Statistics Stochastic processes Computational chemistry
155	COMP 1 Principles of stochastic quasi-Newton dynamics and applications in soft materials multiscale modeling J. Fraaije1,2, [removed], and A. Sevink1, [removed]. 1Leiden University, T Add to Reading List Source URL: oldwww.acscomp.org Language: English - Date: 2011-07-01 06:30:54 Medicinal chemistry Computational chemistry Bioinformatics Protein structure Docking Drug design Molecular dynamics Quantitative structure–activity relationship Force field Chemistry Science Molecular modelling
156	Microsoft Word - Risk Based Capital Discussion Draft_August 2009.doc Add to Reading List Source URL: www.actuarialstandardsboard.org Language: English - Date: 2009-08-25 10:13:56 Mathematical sciences Actuary Occupations Risk Reinsurance Life insurance Stochastic modelling American Academy of Actuaries Asset/liability modeling Actuarial science Insurance Statistics
157	DC APPLESEED Solving DC Problems WALTER SMITH Executive Director Add to Reading List Source URL: disb.dc.gov Language: English - Date: 2014-04-25 16:49:20 Knowledge Science Demography Rector Pro forma Milliman Economic model Actuary Stochastic modelling Actuarial science Insurance Statistics
158	Real-Time Flow Forecasting By Peter C. Young Centre for Research on Environmental Systems & Statistics (CRES), Lancaster University, Lancaster LA1 4YQ, UK† The Chapter discusses the modelling of rainfall-flow (rainfall Add to Reading List Source URL: gwadi.org Language: English - Date: 2011-03-09 18:16:03 Knowledge Hydrological modelling Scientific modelling System identification Flood forecasting Mathematical model Stochastic modelling Global climate model Economic model Hydrology Science Ethology
159	Group Leader Position Computational Modeling and Simulation Group ERATO Sato Live Bio-Forecasting Project (Japan Science and Technology Agency/Advanced Telecommunications Research Institute International) is recruiting a Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2014-11-13 02:13:21 Knowledge Ethology Computer simulation Virtual reality Stochastic Simulation Scientific modelling Computational model Science Computational science Scientific modeling
160	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics

UPDATE